Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
391	JFP 18 (4): 423–436, [removed]c 2008 Cambridge University Press Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-01-11 05:53:26 Adjoint functors Functional programming Monad Map Functional languages Eval Functor Limit Coproduct Computing Software engineering Declarative programming
392	The Functional “C” experience Pieter Hartel Add to Reading List Source URL: www.ub.utwente.nl Language: English - Date: 2002-07-17 09:27:00 Programming paradigms Functional programming Imperative programming Object-oriented programming C++ Recursion Declarative programming Algorithm Variable Software engineering Computing Computer programming
393	Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract) Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2009-05-23 04:50:00 Functional programming Mathematical logic Theoretical computer science Function Corecursion Coinduction F-coalgebra Anamorphism Universal quantification Category theory Mathematics Declarative programming
394	Ensuring Streams Flow? Alastair Telford and David Turner The Computing Laboratory, The University, Add to Reading List Source URL: kar.kent.ac.uk Language: English - Date: 2011-06-28 11:40:51 Functional programming Recursion Theoretical computer science Computability theory Subroutines Corecursion Coinduction Function Stream Software engineering Declarative programming Computer programming
395	Monads for functional programming Philip Wadler, University of Glasgow Department of Computing Science, University of Glasgow, G12 8QQ, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-19 08:32:52 Functional programming Adjoint functors Control flow Models of computation Monad Eval Standard ML Pure function Futures and promises Software engineering Computing Declarative programming
396	Dependently Typed Programming in Agda Ulf Norell1 and James Chapman2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-03 03:47:11 Programming language theory Data types Functional programming Functional languages Type system Agda Intuitionistic type theory Dependent type Function Software engineering Declarative programming Type theory
397	PDF Document Add to Reading List Source URL: goertzel.org Language: English - Date: 2010-10-25 14:04:18 Cognitive architecture Programming paradigms Skills Technical communication Logic programming ACT-R Procedural knowledge Memory Declarative learning Information Science Cognition
398	PDF Document Add to Reading List Source URL: www.informatik.uni-ulm.de Language: English - Date: 2006-03-28 09:09:36 Constraint programming Programming paradigms Logic programming Constraint logic programming Declarative programming Constraint satisfaction problem Programming language Claire SQL Software engineering Computing Computer programming
399	PDF Document Add to Reading List Source URL: www.info.ucl.ac.be Language: English - Date: 2007-08-24 04:14:36 Computer programming Oz Declarative programming Concurrent computing Logic programming Alice Prolog Imperative programming Dataflow programming Software engineering Computing Programming paradigms
400	PDF Document Add to Reading List Source URL: www.info.ucl.ac.be Language: English - Date: 2008-08-28 17:42:44 Programming paradigms Oz Concurrent computing Logic programming Declarative programming Dataflow Imperative programming Alice Functional programming Software engineering Computing Computer programming

UPDATE